- формалінізація
- —————————————————————————————формалініза́ціяіменник жіночого роду
Орфографічний словник української мови. 2005.
формалінізація
Смотреть что такое "формалінізація" в других словарях:
формалізація — іменник жіночого роду … Орфографічний словник української мови
формалізація — ї, ж. Представлення якої небудь змістовної галузі (знань) у вигляді формальної системи. || У математичній логіці – метод, що полягає в заміні всіх змістових термінів символами … Український тлумачний словник
Портовое управление — ПОРТОВОЕ УПРАВЛЕНІЕ. Подъ воен. портомъ понимается расположенный на морск. побережьѣ пунктъ, въ к ромъ сосредоточиваются: 1) воен. судостроеніе и ремонтъ судовъ; 2) снабженіе ихъ всѣмъ необходимымъ; 3) учр нія и, зав нія мор го вѣд ва (см.… … Военная энциклопедия
Голландия — ГОЛЛАНДІЯ или НИДЕРЛАНДЫ, королевство; площ. 28.784 кв. вер. Сухоп. граница почти сплошь идетъ по условной линіи, почему всюду доступна для вторженія. Берега низменны, песчаны и усѣяны дюнами; важнѣйшіе изъ заливовъ Нѣмец. моря Зюдерзее и Долартъ … Военная энциклопедия
Коалиционные войны — *КОАЛИЦІОННЫЯ ВОЙНЫ, войны, ведущіяся нѣск. гос вами (коалиціей) противъ одного или нѣск. прот ковъ. Названіе коалиція впервые вошло въ употребленіе въ 1792 г. для обозначенія союза между Австріей и Пруссіей для поддержанія интересовъ Герм.… … Военная энциклопедия
неформальний — а, е. 1) Позбавлений формалізму; творчий, не шаблонний. Неформальні рішення. 2) Не пов язаний з дотриманням прийнятих форм спілкування; неофіційний, вільний. Неформальні переговори. Неформальна освіта. Неформальний лідер. •• Неформа/льна гру/па… … Український тлумачний словник
цільова функція — в оптимізаційних (екстремальних) задачах – функція невідомих, екстремум (максимум чи мінімум) якої необхідно знайти. Якщо він існує, то сукупність тих невідомих задачі, за яких цільова функція досягає шуканого екстремуму, називається розв’язком… … Термінологічно-тлумачний словник "Моделювання економіки"
Кипрская война — (1570 73), одинъ изъ періодовъ столѣт. ожесточ. борьбы (конецъ XV и почти все XVI ст.) за воен. и торг. преобладаніе на Средизем. морѣ христіанъ съ мусульманами. Во главѣ первыхъ стояли Испанія, только что справившаяся съ маврами на Пирен. полуо… … Военная энциклопедия
Гаагские конференции мира — ГААГСКІЯ КОНФЕРЕНЦІИ МИРА, были созваны въ 1899 и 1907 гг. для обсужденія вопросовъ, связанныхъ: 1) съ ограниченіемъ дальнѣйшаго роста вооруженій, 2) съ развитіемъ института междунар. разбирательствъ, 3) съ упорядоченіемъ законовъ и обычаевъ… … Военная энциклопедия
Поединок — ПОЕДИНОКЪ (дуэль, Duel, Zweikampf), въ соврем. пониманіи есть бой между двумя лицами на смертоносн. оружіи, съ соблюденіемъ взаимно условленныхъ или общепринятыхъ правилъ боя. П., какъ единоборство, извѣстенъ съ древнѣйш. временъ. И въ Греціи и… … Военная энциклопедия
